BPEL2YAWL: Translating BPEL processes into YAWL workflows
نویسندگان
چکیده
The availability of different languages for the description of Web service behaviour hinders automated Web service aggregation, discovery, and adaptation, as currently there are no available tools for the automated translation of service protocols. In this paper we motivate the choice of YAWL as a lingua-franca to express the interaction behaviour of Web services. Furthermore, we provide the specification of a translator of BPEL processes into YAWL workflows, thus paving the way for the formal analysis, aggregation, discovery, and adaptation of BPEL processes. In short, the specification defines a YAWL pattern for each BPEL activity. The translation of a BPEL process reduces then to suitably instantiating and interconnecting the patterns of its activities.
منابع مشابه
From BPEL Processes to YAWL Workflows
BPEL is currently the most widespread language for composing Web services, but it lacks formal semantics. YAWL is a workflow language with a well defined formal semantics that implements the most common workflow patterns. In this paper we provide a methodology for translating BPEL processes into YAWL workflows, thus paving the way for the formal analysis, aggregation and adaptation of BPEL proc...
متن کاملAutomated Generation of BPEL Adapters
The heterogeneous, dynamic, distributed, and evolving nature of Web services calls for adaptation techniques to overcome various types of mismatches that may occur among services developed by different parties. In this paper we present a methodology for the automated generation of (service) adapters capable of solving behavioural mismatches among BPEL processes. The adaptation process, given tw...
متن کاملThe Declare Service
The Declare Service is a YAWL Custom Service that enables decomposing YAWL tasks into DECLARE workflows, i.e. workflows supported by the workflow management system (WfMS) called DECLARE. The goal of this service is to enable a particular kind of flexibility. Chapter 6 describes a constraint-based approach to workflow models and the ConDec language. This approach, supported by the DECLARE WfMS, ...
متن کاملMaintaining WS-BPEL Workflows Using Aspects
In Service Oriented systems organisational processes are represented as WS-BPEL workflows, WS-BPEL is different from traditional workflow languages as a hybrid of block-based and graph-based language; it also has limited support for separation of concerns. Changes to such processes usually impact many places in the underlying system, without separating such cross-cutting concerns system mainten...
متن کاملConcept and Implementation for Integrating User Interface Descriptions into BPEL Processes
The Business Process Execution Language (BPEL) is becoming more and more important for companies which want to automatize their workflows. Beyond automation, real-world business processes usually involve human user interaction. However, the recent BPEL specification lacks support for that. This thesis presents an extension-based approach for user interaction in BPEL processes. A new BPEL activi...
متن کامل